///|
pub fn incr(x : Int) -> Int {
  x + 1
}

///|
pub trait Trait {}

///|
pub type Type

///|
pub fn Type::method_() -> Unit {

}
